Predicate transformer semantics - PDFSEARCH.IO - Document Search Engine

Predicate transformer semantics
Results: 104

#	Item
81	Pretending Atomicity Leslie Lamport and Fred B. Schneider May 1, 1989 ii Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 14:07:02 Symmetry Mathematical logic Theoretical computer science Program logic Proof theory Curry–Howard correspondence Predicate transformer semantics Mathematics Group action Group theory
82	Understanding i. and Using Asynchronous Message Passing (Preliminary Version) Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 11:28:52 Inter-process communication Concurrent computing Logic in computer science Process calculi Actor model Message passing Predicate transformer semantics Communicating sequential processes Assertion Computing Computer programming Theoretical computer science
83	Reasoning by Regression: Pre- and Postdiction Procedures for Logics o f A c t i o n a n d C h a n g e w i t h Nondeterminism* M a r c u s B j a r e l a n d and L a r s K a r l s s o n Department of Computer and Informati Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:34:02 Epistemology Frame problem Theoretical computer science Situation calculus Science Predicate transformer semantics Event calculus Logic programming Knowledge representation Artificial intelligence
84	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-02-11 09:36:47 Creativity Problem solving Thought Algorithm Function Symbol Predicate transformer semantics Mathematics Formal methods Abstraction
85	A Certiﬁable Formal Semantics of C Maksym Bortin 1 Christoph L¨ Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2009-06-03 10:20:35 Programming language semantics Logic in computer science Model theory Denotational semantics Formal methods Structure Semantics Predicate transformer semantics Programming language Theoretical computer science Mathematics Applied mathematics
86	Under consideration for publication in Formal Aspects of Computing Guaranteeing Convergence of Distributed Systems: From Specification to Implementation via Refinement K. Mani Chandy1 , Brian Go1 , Sayan Mitra2 , Concet Add to Reading List Source URL: leecenter.caltech.edu Language: English - Date: 2009-05-07 18:44:00 Ring Ring theory Summation Predicate transformer semantics Mathematics Algebraic structures Structure
87	Termination Analysis with Compositional Transition Invariants? Daniel Kroening1 , Natasha Sharygina2,4 , Aliaksei Tsitovich2 , and Christoph M. Wintersteiger3 1 Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-04-30 09:51:18 Program logic Formal methods Mathematical logic Static program analysis Termination analysis Predicate transformer semantics Transitive closure Algorithm Control flow Mathematics Abstract algebra Theoretical computer science
88	Program Analysis with Dynamic Precision Adjustment ∗ Dirk Beyer Simon Fraser University, Canada Thomas A. Henzinger EPFL, Switzerland Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Formal methods Mathematical logic Function Predicate transformer semantics Floating point Abstract interpretation Predicate Quantification Prime-counting function Mathematics Logic Semantics
89	Ynot : Reasoning with the Awkward Squad Aleksandar Nanevski Microsoft Research [removed] Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:56 Logic Formal methods Logic in computer science Procedural programming languages Predicate transformer semantics Separation logic Hoare logic Vienna Development Method Forcing Mathematical logic Program logic Theoretical computer science
90	Separation Predicates: a Taste of Separation Logic in First-Order Logic? Fran¸cois Bobot and Jean-Christophe Filliˆatre LRI, Univ Paris-Sud, CNRS, Orsay F[removed]INRIA Saclay-ˆIle-de-France, ProVal, Orsay F-91893 Add to Reading List Source URL: proval.lri.fr Language: English - Date: 2012-08-22 10:26:30 Formal methods Predicate logic Model theory Formal languages Predicate transformer semantics First-order logic Predicate Satisfiability Modulo Theories Functional predicate Logic Mathematics Mathematical logic

UPDATE